<html>
<head><meta charset="utf-8"><title>rust-lang/chalk#230 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html">rust-lang/chalk#230</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="167659887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/167659887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#167659887">(Jun 08 2019 at 17:29)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> PR for you: <a href="https://github.com/rust-lang/chalk/pull/230" target="_blank" title="https://github.com/rust-lang/chalk/pull/230">https://github.com/rust-lang/chalk/pull/230</a> <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="167659892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/167659892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#167659892">(Jun 08 2019 at 17:30)</a>:</h4>
<p>This should <strong>not</strong> be merged right away</p>



<a name="167659947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/167659947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#167659947">(Jun 08 2019 at 17:30)</a>:</h4>
<p>I left an <code>unimplemented</code> in there for something I'm not sure how to implement fully</p>



<a name="167659951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/167659951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#167659951">(Jun 08 2019 at 17:30)</a>:</h4>
<p>See the PR description for more info</p>



<a name="167659961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/167659961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#167659961">(Jun 08 2019 at 17:30)</a>:</h4>
<p>This just adds the parsing and lowering to IR for RevealMode and Overrides.</p>



<a name="167659969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/167659969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#167659969">(Jun 08 2019 at 17:30)</a>:</h4>
<p>Going to add the lowering for <code>default type</code> afterwards</p>



<a name="167659979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/167659979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#167659979">(Jun 08 2019 at 17:31)</a>:</h4>
<p>Let me know what you think! <span aria-label="smiley" class="emoji emoji-1f603" role="img" title="smiley">:smiley:</span></p>



<a name="167781283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/167781283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#167781283">(Jun 10 2019 at 18:04)</a>:</h4>
<p>ooh, nice</p>



<a name="168870819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168870819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168870819">(Jun 24 2019 at 18:00)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> finally read through your PR. I left one immediate comment, but it obviously just opens up the next question</p>



<a name="168870936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168870936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168870936">(Jun 24 2019 at 18:01)</a>:</h4>
<p>Thanks! I will take a look and try to finish more this weekend. Maybe we can discuss it more at some point if you think that's necessary?</p>



<a name="168871025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871025">(Jun 24 2019 at 18:02)</a>:</h4>
<p>Yep. The real question is basically when to generate the <code>Overrides</code> rules</p>



<a name="168871041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871041">(Jun 24 2019 at 18:02)</a>:</h4>
<p>I have to review the code that exists, I guess</p>



<a name="168871056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871056">(Jun 24 2019 at 18:02)</a>:</h4>
<p>this is basically the question I was hoping to "semi-sidestep" --</p>



<a name="168871081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871081">(Jun 24 2019 at 18:03)</a>:</h4>
<p>by which I mean that there is a lot of interesting work to do if we just <em>assume</em> we know which impl overrides another</p>



<a name="168871101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871101">(Jun 24 2019 at 18:03)</a>:</h4>
<p>and then even more interesting work to do figuring out which impl overides which, and when that is legal =)</p>



<a name="168871105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871105">(Jun 24 2019 at 18:03)</a>:</h4>
<p>Oh dear okay. Maybe it would be better to leave it unimplemented and then move on to the next step?</p>



<a name="168871114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871114">(Jun 24 2019 at 18:03)</a>:</h4>
<p>that's not quite what I mean</p>



<a name="168871141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871141">(Jun 24 2019 at 18:03)</a>:</h4>
<p>what I mean is: it might make sense to consider adding some kind of annotations</p>



<a name="168871218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871218">(Jun 24 2019 at 18:04)</a>:</h4>
<p>but maybe we can also build on the code that exists</p>



<a name="168871227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871227">(Jun 24 2019 at 18:04)</a>:</h4>
<p>even if it's imperfect</p>



<a name="168871242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871242">(Jun 24 2019 at 18:04)</a>:</h4>
<p>there is some code for building a 'specialization forest'</p>



<a name="168871255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871255">(Jun 24 2019 at 18:04)</a>:</h4>
<p>i.e., relating impls to one another</p>



<a name="168871297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871297">(Jun 24 2019 at 18:05)</a>:</h4>
<p>anyway the suggestion I made is (I think) the right thing to replace the <code>unimplemented!</code> call with, it's just that the fn I suggested calling isn't yet doing what it will need to do</p>



<a name="168871325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871325">(Jun 24 2019 at 18:05)</a>:</h4>
<p>right. I think I get what you're saying</p>



<a name="168871344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871344">(Jun 24 2019 at 18:06)</a>:</h4>
<p>Isn't that the point though? We're just adding the syntax for overrides, and then we're going to work on generating it next</p>



<a name="168871406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871406">(Jun 24 2019 at 18:06)</a>:</h4>
<p>(sorry I'm also just refreshing my cache about this since I worked on it two weeks ago <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span>)</p>



<a name="168871483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871483">(Jun 24 2019 at 18:07)</a>:</h4>
<blockquote>
<p>Isn't that the point though? We're just adding the syntax for overrides, and then we're going to work on generating it next</p>
</blockquote>
<p>yes</p>



<a name="168871498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871498">(Jun 24 2019 at 18:07)</a>:</h4>
<p>I guess for this PR it's fine either way</p>



<a name="168871645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871645">(Jun 24 2019 at 18:09)</a>:</h4>
<p>Okay so the current PR is fine as it is then. I'll add that unimplemented part this weekend based on your comment. Then we can work on generating Overrides next. Is that correct?</p>



<a name="168871667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871667">(Jun 24 2019 at 18:09)</a>:</h4>
<p>Sounds right. I'm looking over the <a href="https://github.com/rust-lang/chalk/blob/201775c47e4cefeb71d7f415c605e09c02e33b22/chalk-solve/src/coherence.rs#L15" target="_blank" title="https://github.com/rust-lang/chalk/blob/201775c47e4cefeb71d7f415c605e09c02e33b22/chalk-solve/src/coherence.rs#L15">existing coherence code</a></p>



<a name="168871782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871782">(Jun 24 2019 at 18:10)</a>:</h4>
<p>In general, I think we need to figure out the "query setup" here I guess -- the current structure doesn't quite feel right.</p>



<a name="168871793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871793">(Jun 24 2019 at 18:10)</a>:</h4>
<p>but the basic logic of constructing the spec forest seems reasonable</p>



<a name="168871815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871815">(Jun 24 2019 at 18:11)</a>:</h4>
<p>I thnk the idea of scheduling some time to talk this out is prob a good ide</p>



<a name="168871958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871958">(Jun 24 2019 at 18:13)</a>:</h4>
<p>Thursday morning (EST) next week (July 4th)?</p>



<a name="168871963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168871963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168871963">(Jun 24 2019 at 18:13)</a>:</h4>
<p>Oh wait that's probably a holiday for you?</p>



<a name="168872049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168872049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168872049">(Jun 24 2019 at 18:14)</a>:</h4>
<p>It is =)</p>



<a name="168872079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168872079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168872079">(Jun 24 2019 at 18:14)</a>:</h4>
<p>I could perhaps chat a bit in the 2:30-3:30 slot we have reserved (i.e., now, or very shortly)</p>



<a name="168872117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168872117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168872117">(Jun 24 2019 at 18:15)</a>:</h4>
<p>I've not done any prep obviously</p>



<a name="168872120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168872120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168872120">(Jun 24 2019 at 18:15)</a>:</h4>
<p>We could also plan for next week at that time, I think</p>



<a name="168872131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168872131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168872131">(Jun 24 2019 at 18:15)</a>:</h4>
<p>Yes that works</p>



<a name="168872179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168872179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168872179">(Jun 24 2019 at 18:16)</a>:</h4>
<p>Jul 1 at 2:30 pm</p>



<a name="168872186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168872186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168872186">(Jun 24 2019 at 18:16)</a>:</h4>
<p>(EST)</p>



<a name="168872199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168872199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168872199">(Jun 24 2019 at 18:16)</a>:</h4>
<p>OK, I'll create a particular event so I don't forget :)</p>



<a name="168872418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168872418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168872418">(Jun 24 2019 at 18:18)</a>:</h4>
<p>Can you invite me to that as well?</p>



<a name="168872884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rust-lang/chalk%23230/near/168872884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rust-lang.2Fchalk.23230.html#168872884">(Jun 24 2019 at 18:23)</a>:</h4>
<p>yep</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>